Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
141	Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications Benjamin Livshits and Jaeyeon Jung Microsoft Research Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-08-07 18:14:03 Computing Dominator Control flow graph Static single assignment form C Compiler construction Programming language theory Software engineering
142	Coarse-Grain Task Parallel Processing Using the OpenMP Backend of the OSCAR Multigrain Parallelizing Compiler K. Ishizaka, M. Obata, H. Kasahara Waseda University, Japan Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2000-11-02 09:11:10 Parallel computing Application programming interfaces Compiler optimizations Fortran OpenMP Automatic parallelization Compiler Automatic parallelization tool Lis Computing Computer programming Software
143	Automatic Diagnosis and Response to Memory Corruption Vulnerabilities Jun Xu, Peng Ning, Chongkyung Kil, Yan Zhai, Chris Bookholt Cyber Defense Laboratory Department of Computer Science North Carolina State University Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:26:02 Software bugs Computer errors Assembly languages Buffer overflow Stack buffer overflow Denial-of-service attack Stack Call stack Address space layout randomization Computing Software engineering Computer programming
144	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2013-02-12 08:10:24 Applied mathematics Logic in computer science Constraint programming Electronic design automation NP-complete problems Interpolation Craig interpolation Satisfiability Modulo Theories Mathematical proof Theoretical computer science Mathematics Mathematical logic
145	Automatic Creation of Team-Control Plans Using an Assignment Branch in Genetic Programming Walter A. Talbott Stanford Symbolic Systems Program Stanford University Stanford, California 94305 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:25 Hymenoptera Fitness function Myrmicinae Mathematical optimization Ant colony optimization algorithms Applied mathematics Symbiosis Genetic algorithms Ant
146	Automatic Synthesis of an 802.11a Wireless LAN Antenna using Genetic Programming Rian Sanderson CS426 Stanford University Texas Instruments Wireless LAN Business unit Santa Rosa California Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:21 Standing wave ratio Selection Fitness function Engineering Technology Electronics Radio electronics Genetic algorithms Antenna
147	A General Scheme for Automatic Generation of Search Heuristics from Specification Dependencies ∗ Kalev Kask and Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2001-04-25 16:34:08 Applied mathematics Decomposition method Constraint optimization Search algorithm A* search algorithm Constraint satisfaction problem Local search Heuristic function Constraint satisfaction Mathematics Theoretical computer science Constraint programming
148	Automatic Design of Decision-Tree Induction Algorithms Rodrigo C. Barros Márcio P. Basgalupp Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2013-07-05 18:31:06 Mathematics Learning Algorithm Mathematical logic Theoretical computer science Medical algorithm Random forest Data mining Book:Machine Learning - The Complete Guide Artificial intelligence Ensemble learning Decision trees
149	Memory Accounting Without Partitions Adam Wick Matthew Flatt Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2004-08-02 11:13:54 Concurrent computing Memory management Automatic memory management Garbage collection Racket Process Thread Garbage Lock Computing Computer programming Software engineering
150	Implementation and Evaluation of OpenMP for Hitachi SR8000 Yasunori Nishitani, Kiyoshi Negishi, Eiji Nunohiro Software Division, Hitachi, Ltd. Hiroshi Ohta Systems Development Laboratory, Hitachi, Ltd. Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2000-11-02 09:11:35 Parallel computing OpenMP Automatic parallelization Fortran Thread Compiler Unified Parallel C ALGOL 68 Automatic parallelization tool Computing Computer programming Software engineering

UPDATE